A maxmin problem on finite automata
نویسندگان
چکیده
منابع مشابه
A maxmin problem on finite automata
We solve the following problem proposed by H. Straubing. Given a two letter alphabet A, what is the maximal number of states f(n) of the minimal automaton of a subset of An, the set of all words of length n. We give an explicit formula to compute f(n) and we show that 1 = lim n→∞ nf(n)/2n ≤ limn→∞ nf(n)/2 n = 2. The purpose of this note is to solve the following question, raised by H. Straubing...
متن کاملOn the Transition Reduction Problem for Finite Automata
We are interested in the problem of transition reduction of nondeterministic automata. We present some results on the reduction of the automata recognizing the language L(En) denoted by the regular expression En = (1 + ε) · (2 + ε) · (3 + ε) · · · (n+ ε). These results can be used in the general case of the transition reduction problem.
متن کاملThe Equivalence Problem of Multitape Finite Automata
Using a result of B.H. Neumann we extend Eilenberg’s Equality Theorem to a general result which implies that the multiplicity equivalence problem of two (nondeterministic) multitape finite automata is decidable. As a corollary we solve a long standing open problem in automata theory, namely, the equivalence problem for multitape deterministic finite automata. The main theorem states that there ...
متن کاملReversibility Problem of Multidimensional Finite Cellular Automata
While the reversibility of multidimensional cellular automata is undecidable and there exists a criterion for determining if a multidimensional linear cellular automaton is reversible, there are only a few results about the reversibility problem of multidimensional linear cellular automata under boundary conditions. This work proposes a criterion for testing the reversibility of a multidimensio...
متن کاملMultidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1989
ISSN: 0166-218X
DOI: 10.1016/0166-218x(89)90037-1